" Andrzej Tarlecki" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

Категория: Компьютеры

6.10 Mb

#2

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes ... Computer Science and General Issues)

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

Категория: Компьютеры

5.54 Mb

#3

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

3.58 Mb

#4

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Donald Sannella, Andrzej Tarlecki

2.56 Mb

#5

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

5.07 Mb

#6

Foundations of Algebraic Specification and Formal Software Development

D Sannella; Andrzej Tarlecki

Категория: Cs_Computer science, CsF_Formal methods

2.91 Mb

#7

Automata, Languages and Programming, 34 conf., ICALP 2007

Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki

Категория: Cs_Computer science, CsLn_Lecture notes

8.83 Mb

#8

Mathematical Foundations of Computer Science 1991 16 conf., MFCS'91

Andrzej Tarlecki

Категория: Cs_Computer science, CsLn_Lecture notes

4.88 Mb

#9

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

5.73 Mb

#10

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ...

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki

6.44 Mb

#11

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki

5.44 Mb